Axioms in mathematics